منابع مشابه
Fudging Maps at Jam
The minaret and archaeological remains at Jam, in central Afghanistan, were nominated as Afghanistan's first World Heritage site in 2002. The nomination was successful despite the International Council on Monuments and Sites (ICOMOS)'s reservations about the quality and completeness of the nomination document: in particular, ICOMOS was concerned about the rudimentary mapping and imprecise defin...
متن کاملDislocations jam at any density.
Crystalline materials deform in an intermittent way via dislocation-slip avalanches. Below a critical stress, the dislocations are jammed within their glide plane due to long-range elastic interactions and the material exhibits plastic response, while above this critical stress the dislocations are mobile (the unjammed phase) and the material flows. We use dislocation dynamics and scaling argum...
متن کاملTyped realizability for first-order classical analysis
We describe a realizability framework for classical first-order logic in which realizers live in (a model of) typed λμ-calculus. This allows a direct interpretation of classical proofs, avoiding the usual negative translation to intuitionistic logic. We prove that the usual terms of Gödel’s system T realize the axioms of Peano arithmetic, and that under some assumptions on the computational mod...
متن کاملFirst order axiomatization of typed feature structures
We axiomatize, in first order logic, the typed feature structures used in constraint based grammar formalism for natural language processing. This is based on a discussion of how type-hierarchies should be interpreted in terms of representation theory. We close with some observations about decidability of feature constraint satisfaction in parsing.
متن کاملAxiomatization of Typed First-Order Logic
This paper contributes to the theory of typed first-order logic. We present a sound and complete axiomatization for a basic typed logic lifting restrictions imposed by previous results. As a second contribution, this paper provides complete axiomatizations for the type predicates instanceT , exactInstanceT , and functions castT indispensable for reasoning about object-oriented programming langu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Iowa Review
سال: 2011
ISSN: 0021-065X,2330-0361
DOI: 10.17077/0021-065x.7080